Advanced Type Knowledge Graphs: Semantic Networks and Type Safety | MLOG | MLOG